課程名稱 |
離散數學 Discrete Mathematics |
開課學期 |
101-2 |
授課對象 |
管理學院 資訊管理學系 |
授課教師 |
穆信成 |
課號 |
IM1005 |
課程識別碼 |
705 12100 |
班次 |
|
學分 |
3 |
全/半年 |
半年 |
必/選修 |
必帶 |
上課時間 |
星期二6,7,8(13:20~16:20) |
上課地點 |
管一101 |
備註 |
本課程中文授課,使用英文教科書。週二9實習在管一101。 限本系所學生(含輔系、雙修生) 總人數上限:100人 |
Ceiba 課程網頁 |
http://ceiba.ntu.edu.tw/1012dismath |
課程簡介影片 |
|
核心能力關聯 |
本課程尚未建立核心能力關連 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
邏輯、集合論、數論、圖論等資訊科學中所需之基本數學知識。 |
課程目標 |
培養以符號作邏輯思考、數學演算之能力。 |
課程要求 |
基本微積分 |
預期每週課後學習時數 |
|
Office Hours |
|
指定閱讀 |
A Logical Approach to Discrete Math. David Gries and Fred B. Schneider. Springer-Verlag, 1994.
上課將發講義,課本自由選購。 |
參考書目 |
|
評量方式 (僅供參考) |
No. |
項目 |
百分比 |
說明 |
1. |
期末考 |
35% |
|
2. |
期中考 |
35% |
|
3. |
隨堂考 |
30% |
取整學期所有隨堂考中較高分的一半。 |
|
週次 |
日期 |
單元主題 |
第1週 |
2/19 |
Using Mathematics;
Textual Substitution, Equality, and Assignment. |
第2週 |
2/26 |
Boolean Expressions;
Propositional Calculus. |
第3週 |
3/05 |
Propositional Calculus. |
第4週 |
3/12 |
Propositional Calculus. |
第5週 |
3/19 |
Relaxing the Proof Style |
第6週 |
3/26 |
Quantification |
第7週 |
4/02 |
Quantification. |
第8週 |
4/09 |
停課 |
第9週 |
4/16 |
期中考 |
第10週 |
4/23 |
Predicate Calculus. |
第11週 |
4/30 |
A Theory of Sets |
第12週 |
5/07 |
Mathematical Induction |
第13週 |
5/14 |
Mathematical Induction |
第14週 |
5/21 |
Combinatorial Analysis. |
第15週 |
5/28 |
Combinatorial Analysis.
Recurrence Relations. |
第16週 |
6/04 |
Modern Algebra. |
第17週 |
6/11 |
Modern Algebra |
第18週 |
6/18 |
期末考 |
|